The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Continue readingThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Continue reading